25f2bd40c7f33e830b74c0655ba56b9c39d16a0e,web/org.eclipse.xtext.web.servlet/src/main/xtend-gen/org/eclipse/xtext/web/servlet/XtextServlet.java,XtextServlet,doPost,#HttpServletRequest#HttpServletResponse#,118

Before Change


  @Override
  protected void doPost(final HttpServletRequest req, final HttpServletResponse resp) throws ServletException, IOException {
    try {
      HttpSession _session = req.getSession();
      final HttpServletSessionStore sessionStore = new HttpServletSessionStore(_session);
      String _elvis = null;
      String _pathInfo = req.getPathInfo();
      if (_pathInfo != null) {
        _elvis = _pathInfo;
      } else {
        _elvis = "";
      }
      Map<String, String> _parameterMap = this.getParameterMap(req);
      final XtextServiceDispatcher.ServiceDescriptor service = this.serviceDispatcher.getService(_elvis, _parameterMap, sessionStore);
      boolean _or = false;
      boolean _and = false;
      boolean _isHasSideEffects = service.isHasSideEffects();

After Change


  
  @Override
  protected void doPost(final HttpServletRequest req, final HttpServletResponse resp) throws ServletException, IOException {
    final XtextServiceDispatcher.ServiceDescriptor service = this.getService(req);
    boolean _or = false;
    boolean _and = false;
    boolean _isHasSideEffects = service.isHasSideEffects();